<html>
<body>
Run highlighting to find "good code is red" in batch mode.
</body>
</html>